CLARE: A Contextual Reasoning and Cooperative Response Framework for the Core Language Engine

نویسندگان

  • Hiyan Alshawi
  • David M. Carter
  • Richard S. Crouch
  • Stephen G. Pulman
  • Manny Rayner
  • Arnold Smith
چکیده

call(X=Y) :X = Y, !. abstract_call(_X=_Y) :!. abstract_call(G) :call_pattern(G,InArgs,OutArgs), is_instantiated(InArgs), make_instantiated(OutArgs). Figure 9.4: Interpreter for finding finite proof strategies 174 CLARE final report primitive. The arguments of the main predicates rearrange0 and rearrange1 are rearrange0/1(Original,Rearranged,Eval,Frozen,Done)

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Impact of Contextual Clue Selection on Inference

Linguistic information can be conveyed in the form of speech and written text, but it is the content of the message that is ultimately essential for higher-level processes in language comprehension, such as making inferences and associations between text information and knowledge about the world. Linguistically, inference is the shovel that allows receivers to dig meaning out from the text with...

متن کامل

Contextual Support for Remote Cooperative Troubleshooting: Lessons From a Naturalistic Study

Distributed troubleshooting often requires experts to support non-experts at a distance. The resulting separation between collaborators can impoverish their understanding of each other’s task contexts, impeding their collaboration. Consequently, this paper argues that developing effective troubleshooting support systems requires determining (1) what contextual information the participants requi...

متن کامل

Ethnomethodology and Conversational Analysis

In a speech community, people utilize their communicative competence which they have acquired from their society as part of their distinctive sociolinguistic identity. They negotiate and share meanings, because they have commonsense knowledge about the world, and have universal practical reasoning. Their commonsense knowledge is embodied in their language. Thus, not only does social life depend...

متن کامل

ARTIMIS: Natural Dialogue Meets Rational Agency

We present an effective generic communicating rational agent, ARTIMIS, and its application to cooperative spoken dialogue. ARTIMIS ' kernel is the implementation of a formal theory of interaction. This theory involves a set of generic axioms which models, in a homogeneous logical framework, principles of rational behaviour, communication, and cooperation. The theory is interpreted by a specific...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/cmp-lg/9411002  شماره 

صفحات  -

تاریخ انتشار 1992